(= (+ -1 1) 0)
